Branch‐and‐price‐and‐cut for the manpower routing problem with synchronization constraints

In this article, we propose a branch‐and‐price‐and‐cut (BPC) algorithm to exactly solve the manpower routing problem with synchronization constraints (MRPSC). Compared with the classical vehicle routing problems (VRPs), the defining characteristic of the MRPSC is that multiple workers are required to work together and start at the same time to carry out a job, that is, the routes of the scheduling subjects are dependent. The incorporation of the synchronization constraints increases the difficulty of the MRPSC significantly and makes the existing VRP exact algorithm inapplicable. Although there are many types of valid inequalities for the VRP or its variants, so far we can only adapt the infeasible path elimination inequality and the weak clique inequality to handle the synchronization constraints in our BPC algorithm. The experimental results at the root node of the branch‐and‐bound tree show that the employed inequalities can effectively improve the lower bound of the problem. Compared with ILOG CPLEX, our BPC algorithm managed to find optimal solutions for more test instances within 1 hour. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 138–171, 2016     

基于GPS的靶场时统系统技术研究

通过介绍GPS基本原理,详细阐述了结合NovAtel公司的SUPERSTAR IIGPS接收机和PC机编程共同产生高精度的定时脉冲的实现方法,并通过MATLAB仿真分别给出了其定时脉冲精度。对于实际靶场有重要的工程意义。     

一类随机差分方程的解序列的最优停止规则

设报酬序列{x_(?),(?),n≥0}满足随机差分方程x_(n+1)=x_n+a_n+b_nε_(n+1)(ε_1,ε_2,…为白噪声序列)。本文讨论了用有限情形{x_n,0≤n≤N}的Snell包逼近无限情形{x_n,n≥0)的Snell包的条件,得到了x_n=E(x_n|(?))((?)=σ{ε_0,ε_1,…,ε_n},ε_0=0)的Snell包r_n的分解形式和最优停时存在的条件。最后讨论了最优停止规则的迭代计算法,并得出了迭代过程在有限步停止的充分条件。     

中温石墨流态床热处理炉的加热装置与电极设计

本文以笔者早年设计的小型石墨流态床热处理炉(LTR)和随后研制大功率炉的经验,讨论加热装置的最佳方案和电极设计的有关问题,通过理论分析和试验,给出950℃以下的温度-电阻曲线和屏蔽电极区间的电压-幂次和电阻-幂次曲线。     

双字长浮点乘法运算算法设计与分析

文中给出了在计算机上实现双字长浮点乘法运算的算法的计算公式、计算步骤及误差估计,算法原理适用于一般计算机系统的任意字长浮点乘法运算。     

应用分解法分析二阶锁相环路

本文介绍了一种新的非线性分析方法──分解法,并通过引入数学机械化的方法,将其应用于非理想二阶锁相环路的分析,推导了捕捉过程中相位差、频率差的逼近解析解,分析了环路的稳定性,得到了环路稳态相差、稳态频差和捕捉时间等参数。     

海湾战争与舰船维修

在论述舰船战时雏修保障重要作用的基础上,总结了美海军在海湾战争中实施战前检修及战时抢修的基本活动和经验,提出了我军舰船战时维修保障建设的基本思路及措施。     

含收益带费用的校对问题的最优停止

在假定每次校对费用可能不一样且带来一定收益的条件下,讨论了校对问题的最优停止,给出了Ｐｏｉｓｓｏｎ模型与二项模型的最优停时。     

参数曲线几何连接的几个定理

导出了对参数曲线几何连接简单、实用的几个定理。     

用矩阵法FTA 进行非单调关联系统的早期不交化

本文针对带有重复事件的非单调关联系统故障树,定义了非单调关联系统的割集矩阵及不交化最小割集矩阵,利用矩阵变换实现故障树的早期不交化,从而为求解复杂非单调关联系统,解决其ＮＰ困难问题,提供了一条新途径